If n is an integer and n^3 5 is odd then n is even